O Gene SMA010 MGI:5426057 heritable phenotypic marker http://identifiers.org/mgd/MGI:5426057 small mutant 010